More from this Author
Found 4 books by Didier Galmiche (Editor)
Automated Reasoning
by Didier Galmiche (Editor), Stephan Schulz (Editor), Roberto Sebastiani (Editor)
Automated Reasoning with Analytic Tableaux and Related Methods
by Didier Galmiche (Editor), J. G. Carbonell (Editor), J. Siekmann (Editor)
Automated Reasoning with Analytic Tableaux and Related Methods
by Didier Galmiche (Editor), Dominique Larchey-Wendling (Editor)
Automated Reasoning with Analytic Tableaux and Related Methods
by Didier Galmiche (Editor), Dominique Larchey-Wendling (Editor)